A Visual Modeling Technique for Controlling Graph Transformation
نویسندگان
چکیده
Graph grammars and graph transformation systems [9] have turned out to be applicable for solving various problems of recent computer science [3][4]. It is also known, however, that pure graph grammars are often no suitable solutions for practical problems, because graph grammar derivations (as any grammar derivations) are of non-deterministic nature whilst deterministic and predictable behavior is mostly required, and graph grammar derivations are local operations on some data graph whilst global operations are often required for reasons of consistency between different parts of the data graph which do not belong to the same neighborhood.1
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملExecution Properties of a Visual Control Flow Language
Graph rewriting-based model processing is a widely used technique for model transformation. Especially visual model transformations can be expressed by graph transformations, since graphs are well-suited to describe the underlying structures of graphical models. Model transformations often need to follow an algorithm that requires a strict control over the execution sequence of the transformati...
متن کاملInterpreter Writing Using Graph Transformations
This paper introduces a UML-based approach for specifying model transformations. The technique is based on graph transformations, where UML class diagrams are used to represent the graph grammars of the input and the output of the transformations, and the transformations are represented as explicitly sequenced elementary rewriting operations. The paper discusses the visual language designed for...
متن کاملSimulation and Animation of Visual Models of Embedded Systems A Graph-Transformation-Based Approach Applied to Petri Nets
Behavior specification techniques like Petri nets provide a visual description of software and embedded systems as basis for behavior validation by simulation. Graph transformation systems can be used as a unifying formal approach to define various visual behavior modeling languages including different kinds of Petri nets, activity diagrams, Statecharts etc., and to provide models with an opera...
متن کاملModeling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation
The agent paradigm promotes the concept of goalorientation. Mainstream object-oriented modeling techniques do not account for such an agent-specific aspect. Therefore, dedicated techniques for agent-oriented modeling are required which are based on the concepts and notations of object-oriented modeling and extend these in order to support agent-specific concepts. Especially, the relation betwee...
متن کامل